Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
91	Deflationism Dorit Bar-On and Keith Simmons, UNC-Chapel Hill There is a core metaphysical claim shared by all deflationists: truth is not a genuine, substantive property. But anyone who denies that truth is a genuine pro Add to Reading List Source URL: www.doritbar-on.com Language: English - Date: 2015-05-31 02:42:00 Theories of truth Philosophical logic Philosophy of language Meaning Predicate logic Deflationary theory of truth Truth Redundancy theory of truth Predicate Proposition Sentence Illocutionary act
92	Broad-coverage CCG Semantic Parsing with AMR Kenton Lee Luke Zettlemoyer Yoav Artzi∗ Dept. of Computer Science and Cornell Tech Computer Science & Engineering University of Washington Cornell University Add to Reading List Source URL: yoavartzi.com Language: English - Date: 2016-08-12 04:07:46 Predicate logic Type theory Logic in computer science Computability theory Lambda calculus Combinatory categorial grammar Quantifier Combinatory logic Parsing Free variables and bound variables Weight
93	Individuals, Universals, Collections: On the Foundational Relations of Ontology Thomas BITTNER1 , Maureen DONNELLY1 , and Barry SMITH1,2 1 Institute for Formal Ontology and Medical Information Science (IFOMIS), Saarland Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-08-12 11:36:24 Predicate logic Quantification Ontology Logic First-order logic Model theory Problem of universals Universal quantification Universal Net Quantifier
94	ARTIFICIAL INTELLIGENCE 71 Probabilistic Logic* Nils J . N i l s s o n Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2007-10-21 17:27:03 Model theory Non-classical logic Probability and statistics Boolean algebra Predicate logic Probabilistic logic Modal logic First-order logic Probability Interpretation Inductive probability Vector logic
95	Skolemization, Most General Unifiers, First-Order Resolution Torsten Hahmann CSC 384, University of Toronto March 07, 2011 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2011-03-16 15:35:01 Model theory Logic Predicate logic Quantification Skolem normal form Inverse trigonometric functions Quantifier Surjective function Unification Herbrandization First-order logic
96	A qualitative formalization of built environments Thomas Bittner Centre de recherche en geomatique, Laval University, Quebec, Canada Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-06-10 06:15:20 Mathematical logic Mereology Ontology Predicate logic Fiat Automobiles Mathematical object
97	Formalization and the Objects of Logic Add to Reading List Source URL: www.georgbrun.ch Language: English - Date: 2014-10-16 03:42:18 Syntax Propositional calculus Predicate logic Formal languages Philosophy of language First-order logic Well-formed formula Proposition Interpretation Sequent Atomic formula Logic
98	A note on the Π02–induction rule∗ Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe-Universit¨at, Robert-Mayer-Strasse 6–10, D–60054 Frankfurt, Germany Abstract It is well–known (due to C. Parsons) that th Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 10:10:40 Predicate logic Computability theory Recursion Logic Theory of computation Primitive recursive arithmetic Primitive recursive function Quantifier First-order logic Free variables and bound variables Herbrandization
99	Reprinted from Proceedings of the 2010 ACM Symposium on Principles of Programming Languages (POPL’10) Automatically Generating Instruction Selectors Using Declarative Machine Descriptions Jo˜ao Dias Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2010-03-12 16:07:46 Hoare logic Static program analysis Predicate transformer semantics
100	KRDB RESEARCH CENTRE KNOWLEDGE REPRESENTATION MEETS DATABASES Faculty of Computer Science, Free University of Bozen-Bolzano, Piazza Domenicani 3, 39100 Bolzano, Italy Tel: +, fax: +, http://ww Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2006-10-02 06:06:35 Mathematics Logic Mathematical logic Ontology Boolean algebra Mereology Predicate logic Algebraic logic ZermeloFraenkel set theory Binary relation Power set Mereotopology

UPDATE